2 00 4 Isomorphic Implication ∗
نویسنده
چکیده
We study the isomorphic implication problem for Boolean constraints. We show that this is a natural analog of the subgraph isomorphism problem. We prove that, depending on the set of constraints, this problem is in P, NP-complete, or NP-hard, coNP-hard, and in P || . We show how to extend the NP-hardness and coNP-hardness to P || -hardness for some cases, and conjecture that this can be done in all cases.
منابع مشابه
5 F eb 2 00 9 The Internally 4 - Connected Binary Matroids With No M ( K 3 , 3 ) - Minor . Dillon Mayhew Gordon Royle
We give a characterization of the internally 4-connected binary matroids that have no minor isomorphic to M(K3,3). Any such matroid is either cographic, or is isomorphic to a particular single-element extension of the bond matroid of a cubic or quartic Möbius ladder, or is isomorphic to one of eighteen sporadic matroids. 2000 Mathematics Subject Classification. 05B35.
متن کاملJ ul 2 00 4 Incomparable , non isomorphic and minimal Banach spaces
A Banach space contains either a minimal subspace or a continuum of incomparable subspaces. General structure results for analytic equivalence relations are applied in the context of Banach spaces to show that if E0 does not reduce to isomorphism of the subspaces of a space, in particular, if the subspaces of the space admit a classification up to isomorphism by real numbers, then any subspace ...
متن کامل. R A ] 2 2 N ov 2 00 4 BRANCH RINGS , THINNED RINGS , TREE ENVELOPING RINGS
We develop the theory of “branch algebras”, which are infinitedimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting on trees. In particular, for every field k we construct a k-algebra K which • is finitely generated and infinite-dimensional, but has only finite-dimensional qu...
متن کاملar X iv : h ep - t h / 04 12 28 6 v 2 2 4 D ec 2 00 4 Realizations of observables in Hamiltonian systems with first class constraints
In a Hamiltonian system with first class constraints observables can be defined as elements of a quotient Poisson bracket algebra. In the gauge fixing approach observables form a quotient Dirac bracket algebra. We show that these two algebras are isomorphic. A new realization of the observable algebras through the original Poisson bracket is found.Generators, brackets and pointwise products of ...
متن کاملN ov 2 00 4 AUTOMORPHISMS OF THE HATCHER - THURSTON COMPLEX
Let S be a compact, connected, orientable surface of positive genus. Let HT (S) be the Hatcher-Thurston complex of S. We prove that AutHT (S) is isomorphic to the extended mapping class group of S modulo its center.
متن کامل